Browsing by Author "Kouzapas, D."

Now showing items 1-3 of 3

    • Article  

      A process calculus for dynamic networks 

      Kouzapas, D.; Philippou, Anna (2011)
      In this paper we propose a process calculus framework for dynamic networks in which the network topology may change as computation proceeds. The proposed calculus allows one to abstract away from neighborhood-discovery ...
    • Article  

      Type checking privacy policies in the π-calculus 

      Kouzapas, D.; Philippou, Anna (2015)
      In this paper we propose a formal framework for studying privacy. Our framework is based on the π -calculus with groups accompanied by a type system for capturing privacy requirements relating to information collection, ...
    • Article  

      A typing system for privacy 

      Kouzapas, D.; Philippou, Anna (2014)
      In this paper we report on work-in-progress towards defining a formal framework for studying privacy. Our framework is based on the π-calculus with groups [1] accompanied by a type system for capturing privacy-related ...